<?php if ( ! defined('BASEPATH')) exit('No direct script access allowed');?>
<html>
<head>
<div style="width:100%;height:80%;overflow-y:scroll;margin-left:10px;">
<?php 
if(file_exists("/tmp/".$app."_deploy_log")){
        $file_content = file_get_contents("/tmp/".$app."_deploy_log");
        if(!empty($file_content)){
                highlight_file("/tmp/".$app."_deploy_log");
        }else{
                echo "本次提交没有更新内容!";
        }
}else{
        echo "file '"."/tmp/".$app."_deploy_log is not exist.";
}
?>
</div>
</body>
</html>
